w{-}initially($w$; $x$; $i$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$w{-}s($w$; $i$; 0; $x$)